Generation of Deccan Trap magmas
نویسندگان
چکیده
منابع مشابه
Canali-forming Magmas: Generation of Carbonate-sulfate Melts on Venus
Venus' canali, very long meandering channels, are inferred to be products of carbonate-sulfate magmas, comparable in some ways to carbonatite magmas on Earth. In 1994, [1] inferred that alkali-rich carbonate sulfate magmas were common and abundant just beneath Venus' surface. Current understanding of Venus suggests a cooler geotherm, so that carbonate-sulfate melt can be abundant only at pressu...
متن کاملFree Magmas
This article introduces the free magmaM(X) constructed on a set X [6]. Then, we formalize some theorems aboutM(X): if f is a function from the set X to a magma N , the free magmaM(X) has a unique extension of f to a morphism ofM(X) into N and every magma is isomorphic to a magma generated by a set X under a set of relators on M(X). In doing it, the article defines the stable subset under the la...
متن کاملCompletions of ordered magmas
We give a completion theorem for ordered magmas (i.e. ordered algebras with monotone operations) in a general form. Particular instances of this theorem are already known, and new results follow. The semantics of programming languages is the motivation of such investigations. Key wordscomplete partial orders, semantics of programming languages. Introduction. When defining recursive functions by...
متن کاملRheology of bubble-bearing magmas
The rheology of bubble-bearing suspensions is investigated through a series of three-dimensional boundary integral calculations in which the effects of bubble deformation, volume fraction, and shear rate are considered. The behaviour of bubbles in viscous flows is characterized by the capillary number, Ca, the ratio of viscous shear stresses that promote deformation to surface tension stresses ...
متن کاملTRAP/J: Transparent Generation of Adaptable Java Programs
This paper describes TRAP/J, a software tool that enables new adaptable behavior to be added to existing Java applications transparently (that is, without modifying the application source code and without extending the JVM). The generation process combines behavioral reflection and aspect-oriented programming to achieve this goal. Specifically, TRAP/J enables the developer to select, at compile...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Earth System Science
سال: 2001
ISSN: 0253-4126,0973-774X
DOI: 10.1007/bf02702904